| 1. Identificação | ||||||||||
| Tipo de Referência | Tese ou Dissertação (Thesis) | |||||||||
| Site | mtc-m21c.sid.inpe.br | |||||||||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||||||||
| Identificador | 8JMKD3MGP3W34R/3SJ7TLP | |||||||||
| Repositório | sid.inpe.br/mtc-m21c/2019/01.16.14.41 | |||||||||
| Última Atualização | 2019:05.13.18.31.06 (UTC) banon | |||||||||
| Repositório de Metadados | sid.inpe.br/mtc-m21c/2019/01.16.14.41.23 | |||||||||
| Última Atualização dos Metadados | 2020:05.09.03.37.12 (UTC) administrator | |||||||||
| Chave Secundária | INPE-18155-TDI/2844 | |||||||||
| Chave de Citação | Batista:2019:InFaTe | |||||||||
| Título | Injeção de falhas em testes de integração de subsistemas aplicada a nanossatélites  | |||||||||
| Título Alternativo | Fault injection in subsystems integration tests applied to nanosatellites | |||||||||
| Curso | CSE-ETES-SESPG-INPE-MCTIC-GOV-BR | |||||||||
| Ano | 2019 | |||||||||
| Data | 2019-01-30 | |||||||||
| Data de Acesso | 02 maio 2024 | |||||||||
| Tipo da Tese | Dissertação (Mestrado em Engenharia e Gerenciamento de Sistemas Espaciais) | |||||||||
| Tipo Secundário | TDI | |||||||||
| Número de Páginas | 62 | |||||||||
| Número de Arquivos | 1 | |||||||||
| Tamanho | 2885 KiB | |||||||||
| 2. Contextualização | ||||||||||
| Autor | Batista, Carlos Leandro Gomes | |||||||||
| Banca | Santos, Walter Abrahão dos (presidente) Francisco, Maria de Fátima Mattiello (orientadora) Arias, Ronaldo Villani, Emília | |||||||||
| Endereço de e-Mail | carlos.gbatista@yahoo.com.br | |||||||||
| Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) | |||||||||
| Cidade | São José dos Campos | |||||||||
| Histórico (UTC) | 2019-01-16 14:42:28 :: carlos.gbatista@yahoo.com.br -> administrator :: 2019-01-18 17:58:16 :: administrator -> simone :: 2019-01-18 17:58:49 :: simone -> carlos.gbatista@yahoo.com.br :: 2019-03-11 16:16:32 :: carlos.gbatista@yahoo.com.br -> pubtc@inpe.br :: 2019-04-01 18:43:44 :: pubtc@inpe.br -> carlos.gbatista@yahoo.com.br :: 2019-04-01 19:02:13 :: carlos.gbatista@yahoo.com.br -> pubtc@inpe.br :: 2019-04-10 12:44:11 :: pubtc@inpe.br -> administrator :: 2019-05-03 18:20:27 :: administrator -> marcelo.pazos :: 2019-05-03 18:20:50 :: marcelo.pazos -> administrator :: 2019-05-08 13:33:14 :: administrator -> marcelo.pazos :: 2019-05-13 14:04:17 :: marcelo.pazos -> simone :: 2019-05-14 12:28:36 :: simone :: -> 2019 2019-05-14 12:28:36 :: simone -> administrator :: 2019 2020-05-09 03:35:33 :: administrator -> banon :: 2019 2020-05-09 03:36:20 :: banon -> administrator :: 2019 2020-05-09 03:37:12 :: administrator -> :: 2019 | |||||||||
| 3. Conteúdo e estrutura | ||||||||||
| É a matriz ou uma cópia? | é a matriz | |||||||||
| Estágio do Conteúdo | concluido | |||||||||
| Transferível | 1 | |||||||||
| Palavras-Chave | verificação e validação nanossatélite CubeSat robustez injeção de falhas verification and validation nanosatellite robustness fault injection | |||||||||
| Resumo | O tempo curto de desenvolvimento e o baixo custo das missões de nanossatélites com o uso do padrão CubeSat tem motivado o crescimento do número de lançamentos desses objetos ao espaço na última década ao redor do mundo. No entanto, rapidez e pequenos orçamentos não são garantia de sucesso de missão espacial. Deficiências na adoção das boas práticas de projeto, montagem e testes têm sido apontadas como uma das grandes causas para as ativas falhas nas missões com nanossatélites. Esforços no uso de técnicas eficientes de verificação e validação são necessárias. Dado a crescente aplicação de missões de nanossatélites para qualificação de novas tecnologias em órbita, comportamentos errôneos desses subsistemas são esperados. Porém, tal mal funcionamento não pode representar um risco para a missão como um todo. Robustez é uma propriedade importante de um sistema crítico reativo e não propriamente explorado no padrão CubeSats. Aspectos de comportamento entre os subsistemas comunicantes devem ser verificados. A sistematização de testes para nanossatélites baseados no padrão CubeSat deve ser apoiada por ferramentas compatíveis de modo a reduzir o tempo de desenvolvimento no que diz respeito ao tempo consumido nas atividades de verificação e validação. Neste trabalho é apresentado o framework de um Mecanismo Emulador de Defeitos, FEM, para testes de robustez de subsistemas intensivos em software interoperantes a bordo de um nanossatélite. O FEM atua no canal de comunicação sendo parte da bancada de testes de integração em duas fases do projeto do nanossatélite: (i) especificação dos requisitos de robustez utilizando model in the loop, MIL e (ii) validação da robustez utilizando hardware in the loop, HIL. Os aspectos arquiteturais do FEM apoiam sua instanciação para qualquer canal de comunicação presente no padrão CubeSat. Como exemplo, o FEM foi instanciado para o canal de comunicação I2C para apoiar os testes realizados no NanoSatC-BR2. O NanoSatC-BR2 é uma missão científica baseada em um CubeSat em desenvolvimento e integração no Instituto Nacional de Pesquisas Espaciais, INPE, que utiliza o canal de comunicação I2C para a interação entre as cargas úteis e o subsistema do computador de bordo (OBC). Este protótipo do FEM foi utilizado para apoiar aos testes de integração do OBC com cada carga útil em um cenário MIL visando a antecipação de requisitos de robustez durante o ciclo de desenvolvimento do nanossatélite. ABSTRACT: The short development time and low cost of nanosatellite missions using CubeSat standard has motivated the increasing number of launches of these objects to the space during the last decade around the world. But, velocity and low budgets do not represent success on space missions. Lack on good design, assembly and tests practices have been pointed as one of the great causes for active failures on nanosatellite missions. Efforts on the use of efficient verification and validation techniques are needed. Faulty beahavior of these systems are expected as the nanosatellite missions applications grows to qualify new technologies in orbit. Such malfuction shall not represent a risk to the whole mission. Robustness is an important propriety of reactive critical systems and not properly exploited in CubeSat standardization. Behavior aspects of the communicating subsystems on the use of their interfaces shall be verified. The test systematization of CubeSat-based nanosatellites supported by proper tools is necessary to reduce the mission development cycle in terms of the time consumed by the verification and validation activities. In this work we present a failure emulator mechanism framework, named FEM, for robustness testing of interoperable software-intensive subsystems onboard nanosatellite. FEM acts in the communication channel being part of the integration test workbench in two phases of nanosatellite design: (i) robustness requirement specification using model in the loop (MIL) and (ii) robustness validation using hardware in the loop (HIL). The architectural aspects of the proposed FEM framework support its instantiation to any communication channel of the CubeSat standard. As an example, FEM prototype was instantiated to I2C communication channel to support NanosatC-BR2 testing. NanosatC-BR2 is a Cubesat based scientific mission, under development and integration at Brazilian Institute for Space Research (INPE), which uses I2C communication channel for its payloads interactions with the On-Board Data Handling computer subsystem (OBC). FEM prototype was used to support OBC integration testing with each payload subsystem at MIL scenario aiming at anticipating the robustness requirement verification on the development lifecycle. | |||||||||
| Área | ETES | |||||||||
| Arranjo | urlib.net > CSE > Injeção de falhas... | |||||||||
| Conteúdo da Pasta doc | acessar | |||||||||
| Conteúdo da Pasta source |
| |||||||||
| Conteúdo da Pasta agreement |
| |||||||||
| 4. Condições de acesso e uso | ||||||||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34R/3SJ7TLP | |||||||||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34R/3SJ7TLP | |||||||||
| Idioma | pt | |||||||||
| Arquivo Alvo | publicacao.pdf | |||||||||
| Grupo de Usuários | carlos.gbatista@yahoo.com.br gabinete@inpe.br pubtc@inpe.br simone | |||||||||
| Visibilidade | shown | |||||||||
| Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.10 | |||||||||
| Permissão de Leitura | allow from all | |||||||||
| Permissão de Atualização | não transferida | |||||||||
| 5. Fontes relacionadas | ||||||||||
| Repositório Espelho | urlib.net/www/2017/11.22.19.04.03 | |||||||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP | |||||||||
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.14.22.20 1 | |||||||||
| Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 | |||||||||
| 6. Notas | ||||||||||
| Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber contenttype copyholder creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype | |||||||||